(enum map_property): Removed.
authorGerd Moellmann <gerd@gnu.org>
Fri, 12 Jan 2001 11:18:41 +0000 (11:18 +0000)
committerGerd Moellmann <gerd@gnu.org>
Fri, 12 Jan 2001 11:18:41 +0000 (11:18 +0000)
commitd70030107ef347d09b2d8a0b386e2cc022805691
tree154295e73b2e403aac834435f6ecbbf0de70f37a
parentff2e287faf3c40d3c10717d773f9678320f2acd9
(enum map_property): Removed.
(get_local_map): Change prototype.
src/intervals.h